pub mod enhanced_type_checker;
pub mod type_checker;

pub use enhanced_type_checker::{
    ConstraintType, EnhancedTypeChecker, TypeConstraint, TypeEnvironment, TypeInferenceEngine,
    TypeInfo,
};
pub use type_checker::TypeChecker;

#[cfg(test)]
mod debug_test;
#[cfg(test)]
mod tests;
#[cfg(test)]
mod tests_function_call;
